Birkedal Lars: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Equilogical spaces

Andrej Bauer, Lars Birkedal, Dana S. Scott

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 340 KB

english, 2004

2

Realisability semantics of parametric polymorphism, general references and recursive types

BIRKEDAL, LARS, STØVRING, KRISTIAN, THAMSBORG, JACOB

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 354 KB

english, 2010

3

Local Realizability Toposes and a Modal Logic for Computability: (Extended Abstract)

Steven Awodey, Lars Birkedal, Dana S. Scott

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 718 KB

english, 1999

4

Binding-time analysis for Standard ML

Lars Birkedal, Morten Welinder

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 1020 KB

english, 1995

5

Synthetic domain theory and models of linear Abadi & Plotkin logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 604 KB

english, 2008

6

A Retrospective on Region-Based Memory Management

Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 177 KB

english, 2004

7

An inductive characterization of matching in binding bigraphs

Troels C. Damgaard, Arne J. Glenstrup, Lars Birkedal…

Journal:

Formal Aspects of Computing

Year:

2013

Language:

english

File:

PDF, 1.30 MB

english, 2013

8

Categorical models for Abadi and Plotkin's logic for parametricity

BIRKEDAL, LARS, MØGELBERG, RASMUS E.

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 617 KB

english, 2005

9

A region inference algorithm

Tofte, Mads, Birkedal, Lars

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 848 KB

english, 1998

10

Transport Mechanisms for CO2-CH4 Exchange and Safe CO2 Storage in Hydrate-Bearing Sandstone

Birkedal, Knut, Hauge, Lars, Graue, Arne, Ersland, Geir

Journal:

Year:

2015

Language:

english

File:

PDF, 2.02 MB

english, 2015

11

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

12

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 476 KB

english, 2006

13

Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus

Lars Birkedal, Rasmus E. Møgelberg, Rasmus L. Petersen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 457 KB

english, 2006

14

Matching of Bigraphs

Lars Birkedal, Troels Christoffer Damgaard, Arne John Glenstrup, Robin Milner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 416 KB

english, 2007

15

Preface

Lars Birkedal, Martín Escardó, Achim Jung, Giuseppe Rosolini

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 128 KB

english, 2004

16

The category-theoretic solution of recursive metric-space equations

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 372 KB

english, 2010

17

Elementary axioms for local maps of toposes

Steven Awodey, Lars Birkedal

Journal:

Journal of Pure and Applied Algebra

Year:

2003

Language:

english

File:

PDF, 168 KB

english, 2003

18

Relative and modified relative realizability

Lars Birkedal, Jaap van Oosten

Journal:

Annals of Pure and Applied Logic

Year:

2002

Language:

english

File:

PDF, 170 KB

english, 2002

19

A constraint-based region inference algorithm

Lars Birkedal, Mads Tofte

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 553 KB

english, 2001

20

Bibliography on Realizability

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 765 KB

english, 1999

21

Preface: Volume 23, Issue 1

Birkedal Lars, Oosten Jaap van, Rosolini Giuseppe, Dana S. Scott

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 42 KB

english, 1999

22

Developing Theories of Types and Computability via Realizability

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 38 KB

english, 2000

23

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 30 KB

2000

24

On propositions-as-types in realizability models

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 27 KB

2000

25

Book Reviews

Journal:

Year:

2007

File:

PDF, 123 KB

2007

26

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 51 KB

english, 2005

27

Higher-Order Separation Logic in Isabelle/HOLCF

Carsten Varming, Lars Birkedal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 404 KB

english, 2008

28

The Urokinase Plasminogen Activator Receptor–Associated Protein/Endo180 Is Coexpressed with Its Interaction Partners Urokinase Plasminogen Activator Receptor and Matrix Metalloprotease-13 during Osteogenesis

Engelholm, Lars Henning, Nielsen, Boye Schnack, Netzel-Arnett, Sarah, Solberg, Helene, Chen, Xiao-Dong, Lopez Garcia, Jose Manuel, Lopez-Otin, Carlos, Young, Marian Francis, Birkedal-Hansen, Henning,

Journal:

Laboratory Investigation

Year:

2001

Language:

english

File:

PDF, 2.42 MB

english, 2001

29

Relational Interpretations of Recursive Types in an Operational Setting

Lars Birkedal, Robert Harper

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 485 KB

english, 1999

30

Step-Indexed Kripke Model of Separation Logic for Storable Locks

Alexandre Buisse, Lars Birkedal, Kristian Støvring

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 320 KB

english, 2011

31

A relational realizability model for higher-order stateful ADTs

Lars Birkedal, Kristian Støvring, Jacob Thamsborg

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 1.35 MB

english, 2012

32

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

Birkedal, Lars, Mogelberg, Rasmus Ejlers, Schwinghammer, Jan, Stovring, Kristian

Year:

2011

Language:

english

File:

PDF, 315 KB

english, 2011

33

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Logical Step-Indexed Logical Relations

Dreyer, Derek, Ahmed, Amal, Birkedal, Lars

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

34

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes

Birkedal, Lars, Mogelberg, Rasmus Ejlers

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

35

A General Notion of Realizability

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.75 MB

english, 2002

36

A step-indexed Kripke model of hidden state

SCHWINGHAMMER, JAN, BIRKEDAL, LARS, POTTIER, FRANÇOIS, REUS, BERNHARD, STØVRING, KRISTIAN, YANG, HONGSEOK

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 556 KB

english, 2013

37

Foreword

Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S., van Oosten, Jaap

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 210 KB

english, 2002

38

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - From region inference to von Neumann machines via region representation inference

Birkedal, Lars, Tofte, Mads, Vejlstrup, Magnus

Year:

1996

Language:

english

File:

PDF, 1.26 MB

english, 1996

39

Local realizability toposes and a modal logic for computability

AWODEY, STEVEN, BIRKEDAL, LARS, SCOTT, DANA S.

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 464 KB

english, 2002

40

The impact of higher-order state and control effects on local relational reasoning

DREYER, DEREK, NEIS, GEORG, BIRKEDAL, LARS

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 886 KB

english, 2012

41

Hoare type theory, polymorphism and separation

NANEVSKI, ALEKSANDAR, MORRISETT, GREG, BIRKEDAL, LARS

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 305 KB

english, 2008

42

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 7213 || On Nominal Regular Languages with Binders

Year:

2012

Language:

english

File:

PDF, 323 KB

english, 2012

43

BI-hyperdoctrines, higher-order separation logic, and abstraction

Biering, Bodil, Birkedal, Lars, Torp-Smith, Noah

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

44

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Ynot

Nanevski, Aleksandar, Morrisett, Greg, Shinnar, Avraham, Govereau, Paul, Birkedal, Lars

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

45

The impact of higher-order state and control effects on local relational reasoning

Dreyer, Derek, Neis, Georg, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

46

Step-indexed kripke models over recursive worlds

Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Støvring, Kristian, Thamsborg, Jacob, Yang, Hongseok

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 722 KB

english, 2011

47

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The impact of higher-order state and control effects on local relational reasoning

Dreyer, Derek, Neis, Georg, Birkedal, Lars

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

48

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Views

Dinsdale-Young, Thomas, Birkedal, Lars, Gardner, Philippa, Parkinson, Matthew, Yang, Hongseok

Year:

2013

Language:

english

File:

PDF, 699 KB

english, 2013

49

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Turon, Aaron, Dreyer, Derek, Birkedal, Lars

Year:

2013

Language:

english

File:

PDF, 710 KB

english, 2013

50

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Modular reasoning about concurrent higher-order imperative programs

Year:

2014

Language:

english

File:

PDF, 273 KB

english, 2014